Team Serena
Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

previous Previous | up Home | Next next

Section: Partnerships and Cooperations

Regional Initiatives

GT Elfic (Labex DigiCosme, 2014–2016):

“Formal proof for finite element programs”, with Toccata (Inria Saclay - Île-de-France), CEA LIST, LIPN (Université de Paris 13), and LMAC (Université de Technologie de Compiègne).


previous Previous | up Home | Next next